Phases in Branch Targets of Java Programs ; CU-CS-983-04

Phases in Branch Targets of Java Programs

Recent work on phase detection indicates that programs behave differently at different points in their execution. This paper looks at phases in more detail with respect to indirect calls, which are common in object-oriented programs. We divide phases into three categories: code dependent, context dependent, and data dependent. Of these, code-dependent phases are the easiest to exploit and requi...

Case Study: Debugging a Discovered Specification for java.util.ArrayList by Using Algebraic Interpretation ; CU-CS-970-04

Discovering Algebraic Specifications for Java Classes ; CU-CS-985-04

Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications use the container classes from the java.util package. Given this extensive code reuse in Java programs, it is important for the reusable interfaces to have clear and unambiguous documentation. Unfortuna...

Comparison of various knowledge-driven and logistic-based mineral prospectivity methods to generate Cu and Au exploration targets Case study: Feyz-Abad area (North of Lut block, NE Iran)

Motivated by the recent successful results of using GIS modeling in a variety of problems related to the geosciences, some knowledge-based methods were applied to a regional scale mapping of the mineral potential, special for Cu-Au mineralization in the Feyz-Abad area located in the NE of Iran. Mineral Prospectivity Mapping (MPM) is a multi-step process that ranks a promising target area for mo...

Developing and Debugging Algebraic Specifications for Java Classes ; CU-CS-984-04

Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications use container classes defined in the java.util package. Given this extensive code reuse in Java programs, it is important for the interfaces of reusable classes to be well documented. An interface is we...